énumérabilité

énumérabilité
f
перечислимость, счётность

Dictionnaire polytechnique Français-Russe. 2013.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "énumérabilité" в других словарях:

  • Ensemble récursivement énumérable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… …   Wikipédia en Français

  • Langage partiellement décidable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… …   Wikipédia en Français

  • Recursivement enumerable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… …   Wikipédia en Français

  • Récursivement énumérable — En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d une fonction calculable (il faut ajouter l ensemble vide à la dernière… …   Wikipédia en Français

  • Systeme formel — Système formel Un système formel est un ensemble de formules, ou expressions formelles, que l’on peut interpréter comme des noms, des phrases, ou de toute autre façon. Ils sont des ensembles fondamentaux pour la logique et les mathématiques.… …   Wikipédia en Français

  • Système formel — Un système formel est une modélisation mathématique d un langage en général spécialisé qui en représente les éléments, termes, formules, dérivations, ..., par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d un système… …   Wikipédia en Français

  • Unzerlegbarkeit — est le principe des mathématiques constructives qui dit que le continu, c est à dire l ensemble des nombres réels, n admet aucune partition propre. Le mot signifie « indécomposabilité » en allemand, et l adjectif correspondant est… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»